MAP/i - Foundations of Computing

Option I: Program Semantics, Verification, and Construction

Search: ^s

Education/MapiFc Web Changed Changed by
Syllabus0708 27 Sep 2008 - 11:45 - r3 JoseBacelarAlmeida
Chapter I: Overview of Foundations (5 3 hours) 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem ...
Syllabus0809 27 Sep 2008 - 11:31 - NEW JoseBacelarAlmeida
Chapter I: Overview of Foundations 1. Intuitionistic logic 2. Natural deduction 3. lambda calculus (terms, reduction, the Church Rosser Theorem) 4. ...
Found 2 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM